11![From Philosophical to Industrial Logics⋆ Moshe Y. Vardi⋆⋆ Rice University, Department of Computer Science, Rice University, Houston, TX, U.S.A., Email: , URL:http://www.cs.rice.edu/∼va From Philosophical to Industrial Logics⋆ Moshe Y. Vardi⋆⋆ Rice University, Department of Computer Science, Rice University, Houston, TX, U.S.A., Email: , URL:http://www.cs.rice.edu/∼va](https://www.pdfsearch.io/img/6036cd8b6d210e93d0bb187d32b8bdd3.jpg) | Add to Reading ListSource URL: www.cs.rice.eduLanguage: English - Date: 2009-01-14 10:48:26
|
---|
12![Synthesis from Probabilistic Components∗ Yoad Lustig, Sumit Nain, and Moshe Y. Vardi Department of Computer Science Rice University, Houston, TX 77005, USA , , Synthesis from Probabilistic Components∗ Yoad Lustig, Sumit Nain, and Moshe Y. Vardi Department of Computer Science Rice University, Houston, TX 77005, USA , ,](https://www.pdfsearch.io/img/90eb3ae283adc9d065968a725e900a42.jpg) | Add to Reading ListSource URL: www.cs.rice.eduLanguage: English - Date: 2011-09-05 15:41:01
|
---|
13![Automata-Theoretic Model Checking Revisited ⋆ Moshe Y. Vardi ⋆⋆ Rice University, Department of Computer Science, Houston, TX, U.S.A. Email:, URL: http://www.cs.rice.edu/ ∼ vardi Abstr Automata-Theoretic Model Checking Revisited ⋆ Moshe Y. Vardi ⋆⋆ Rice University, Department of Computer Science, Houston, TX, U.S.A. Email:, URL: http://www.cs.rice.edu/ ∼ vardi Abstr](https://www.pdfsearch.io/img/9773390f26acf04610e0eb2929d4a31a.jpg) | Add to Reading ListSource URL: www.cs.rice.eduLanguage: English - Date: 2011-05-17 18:01:09
|
---|
14![BDD-Based Decision Procedures for the Modal Logic K 1 Guoqiang Pan* — Ulrike Sattler** — Moshe Y. Vardi*** * Department of Computer Science, Rice University, Houston, Texas, 77005, USA. BDD-Based Decision Procedures for the Modal Logic K 1 Guoqiang Pan* — Ulrike Sattler** — Moshe Y. Vardi*** * Department of Computer Science, Rice University, Houston, Texas, 77005, USA.](https://www.pdfsearch.io/img/166948870fea9cc0b94d823e28540c20.jpg) | Add to Reading ListSource URL: www.cs.rice.eduLanguage: English - Date: 2006-02-24 18:37:42
|
---|
15![Trace Semantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX, USA Abstract Trace Semantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX, USA Abstract](https://www.pdfsearch.io/img/0d237bf76ec04f033eeb0aa574ea2087.jpg) | Add to Reading ListSource URL: www.cs.rice.eduLanguage: English - Date: 2009-05-07 17:25:23
|
---|
16![¨ Buchi Complementation and Size-Change Termination⋆ Seth Fogarty and Moshe Y. Vardi⋆⋆ Department of Computer Science, Rice University, Houston, TX {sfogarty,vardi}@cs.rice.edu ¨ Buchi Complementation and Size-Change Termination⋆ Seth Fogarty and Moshe Y. Vardi⋆⋆ Department of Computer Science, Rice University, Houston, TX {sfogarty,vardi}@cs.rice.edu](https://www.pdfsearch.io/img/9ae18280c048fe3a900d1fccc80e87c9.jpg) | Add to Reading ListSource URL: www.cs.rice.eduLanguage: English - Date: 2009-01-15 18:34:20
|
---|
17![Synthesis from Recursive-Components Libraries∗ Yoad Lustig† Moshe Y. Vardi Rice University Synthesis from Recursive-Components Libraries∗ Yoad Lustig† Moshe Y. Vardi Rice University](https://www.pdfsearch.io/img/ca67aa895945bcaf1c809380a6b3dc7d.jpg) | Add to Reading ListSource URL: www.cs.rice.eduLanguage: English - Date: 2011-05-14 21:11:11
|
---|
18![Bran
hing vs. Linear Time: Final Showdown Moshe Y. Vardi Ri
e University Bran
hing vs. Linear Time: Final Showdown Moshe Y. Vardi Ri
e University](https://www.pdfsearch.io/img/dc991a531804461d1fab004d569c1654.jpg) | Add to Reading ListSource URL: www.cs.rice.eduLanguage: English - Date: 2013-12-18 11:34:33
|
---|
19![Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Synthesis from Component Libraries Yoad Lustig and Moshe Y. Vardi⋆ Rice University, Department of Computer Science, Houston, TX 772 Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Synthesis from Component Libraries Yoad Lustig and Moshe Y. Vardi⋆ Rice University, Department of Computer Science, Houston, TX 772](https://www.pdfsearch.io/img/de4b39401ae53661664abe86c6a78f9a.jpg) | Add to Reading ListSource URL: www.cs.rice.eduLanguage: English - Date: 2013-12-05 16:09:09
|
---|
20![¨ Efficient Buchi Universality Checking ? Seth Fogarty and Moshe Y. Vardi Department of Computer Science, Rice University, Houston, TX {sfogarty,vardi}@cs.rice.edu ¨ Efficient Buchi Universality Checking ? Seth Fogarty and Moshe Y. Vardi Department of Computer Science, Rice University, Houston, TX {sfogarty,vardi}@cs.rice.edu](https://www.pdfsearch.io/img/da4c6013e3f9ea53a533dc4c90239a86.jpg) | Add to Reading ListSource URL: www.cs.rice.eduLanguage: English - Date: 2010-01-07 03:37:15
|
---|